Claiming Our Future

Tressa: Claiming the Future

Unlike sequential programs, concurrent programs have to account for interference on shared variables. Static verification of a desired property for such programs crucially depends on precisely asserting the conditions for interference. In a static proof system, in addition to program variables, auxiliary (history) variables summarizing the past of the program execution are used in these asserti...

Our adolescents--our future.

Honoring Our Past, Building Our Future.

CMAJ at 100: our voice, our future.

© 2011 Canadian Medical Association or its licensors CMAJ, January 11, 2011, 183(1) 15 As society and health care have evolved, so too has CMAJ. Indeed, the journal is a reflection of the society in which it is firmly rooted. With its 100-year history and the many successes highlighted by CMA President Dr. Jeffrey Turnbull, CMAJ is ready to move into its second century. CMAJ has sought to disse...

Honouring our past and shaping our future.

One of my favourite things to do is to ask Canadians to tell the story of how they came to be in this country. Are your ancestors First Nations or Inuit or Metis, the original people of the land? Did your forebears come here for love? For money? To escape religious persecution? Did they come looking for a better future, not for themselves, but for their children? I was born in Winnipeg, Man, an...